161. Parallel virtual machine, EuroPVM '96 :
پدیدآورنده : Arndt Bode [and others] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel computers -- Congresses.,Parallel computers.,Virtual computer systems -- Congresses.
رده :
QA76
.
58
A763
1996
162. Principles and practice of constraint programming--CP'97 :
پدیدآورنده : Gert Smolka (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Constraint programming (Computer science),Constraint programming (Computer science) -- Congresses.,Programmatuurtechniek.
163. Proceedings Sixth International Conference on Tools With Artificial Intelligence November 6-9, 1994 New Orleans, Louisiana
پدیدآورنده : Sponsored by IEEE Computer Society
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Artificial intelligence - Data processing - Congresses , Software engineering - Congresses , Computer architecture - Congresses , Programming languages )Electronic computers( - Congresses , Algorithms - Congresses
رده :
Q
336
.
I356
1994
164. Proceedings of 1997 IEEE International Conference on Evolutionary Computation )ICEC'97(: April 13-16, 1997, University Place Hotel, Indianapolis, IN, USA
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Evolutionary computation,Congresses ، Genetic algorithms,Congresses ، Neural networks )Computer science(
رده :
Q
334
.
I428
1997
165. Proceedings of the first annual ACM-SIAM symposium on discrete algorithms
پدیدآورنده :
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Computer algorithms
رده :
QA
76
.
6
.
A278
1990
166. Proceedings of the second annual acm-siam symposium on discrete algorithms
پدیدآورنده :
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Computer algorithms
رده :
QA
76
.
6
.
A278
1991
167. Proceedings of the third Annual ACM-SIAM Symposium on Discrete Algorithms
پدیدآورنده :
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programming,Congresses ، Computer algorithms
رده :
QA
76
.
6
.
A278
1992
168. Product-focused software process improvement :
پدیدآورنده : Marco Kuhrmann, Kurt Schneider, Dietmar Pfahl, Sousuke Amasaki, Marcus Ciolkowski, Regina Hebig, Paolo Tell, Jil Klünder, Steffen Küpper (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development-- Management, Congresses.,Computer software-- Development, Congresses.,Software engineering, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer programming-- software development.,Computer software-- Development-- Management.,Computer software-- Development.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers-- Systems Architecture-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
758
.
P76
2018eb
169. Provable security :
پدیدآورنده : Joonsang Baek, Willy Susilo, Jongkil Kim (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,Data protection, Congresses.,Computer Systems Organization and Communication Networks.,Computing Milieux.,Cryptology.,Data Structures and Information Theory.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Computer networking & communications.,Computer security.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Data encryption.,Data protection.,Information technology: general issues.,Software Engineering.
رده :
QA76
.
9
.
A25
170. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
171. Relational and algebraic methods in computer science :
پدیدآورنده : Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.
رده :
QA76
.
9
.
M35
172. Research in computational molecular biology :
پدیدآورنده : edited by Benjamin J. Raphael.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Bioinformatics, Congresses.,Computational biology, Congresses.,Artificial intelligence.,Bioinformatics.,Computational biology.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Data mining.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Maths for computer scientists.
رده :
QH324
.
2
.
R43
2018
173. Rewriting techniques and application
پدیدآورنده : / Leo Bachmair (ed.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Rewriting systems (Computer science)--Congresses,Computer programming--Congresses,Algorithms--Congresses
رده :
QA
,
267
,.
R48
,
2000
174. Rewriting techniques and applications :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Rewriting systems (Computer science) ; Congresses ; Computer programming ; Congresses ; Algorithms ; Congresses ;
175. Rewriting techniques and applications :
پدیدآورنده : N. Dershowitz, ed.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.
رده :
QA267
.
I555
1989
176. Rewriting techniques and applications :
پدیدآورنده : Harald Ganzinger (ed.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms, Congresses,Computer programming, Congresses,Rewriting systems (Computer science), Congresses,base Gröbner,déduction,lambda calcul,Logique,réécriture,réecriture conditionnelle,réécriture graphe,Sémantique,théorie type,unification
رده :
QA267
.
R48
1996
177. Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987: Proceedings
پدیدآورنده : edited by Pierre Lescanne
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
256
178. Rewriting techniques and applications; Bordeaux, France, May 25-27, 1987, proceedings
پدیدآورنده : edited by Pierre Lescanne
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Algorithms
رده :
QA
76
.
L4
v
.
256
179. Rewriting techniques and applications : Dijon, France, May 20-22, 1985
پدیدآورنده : edited by Jean-Pierre Jouannaud
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computer algorithms,Congresses ، Rewriting systems )computer science(
رده :
QA
76
.
L4
v
.
202
180. Rewriting techniques and applications : Dijon, France, May 20-22, 1985
پدیدآورنده : edited by Jean-Pierre Jouannaud
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
202
